161. Tests and proofs
پدیدآورنده : Achim D. Brucker, Jacques Julliand
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
T48
T37
2012eb
162. Theory and Applications of Formal Argumentation.
پدیدآورنده : \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
9
.
T46
2015
E-Book
,
163. Theory and formal methods of computing 94
پدیدآورنده : / editors, C. Hankin, I. Mackie, R. Nagarajan,original title: At head of title: Imperial College, Department of Computing..
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computer science--Congresses,Formal methods (Computer science)--Congresses
رده :
QA75
.
5
.
T525
1995
164. Theory and formal methods of computing 94: proceedings of the Second Imperial College Workshop
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Formal methods )Computer science(
رده :
QA
75
.
5
.
T525
1995
165. Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop
پدیدآورنده : editors, C. Hankin, I. Mackie, R. Nagarajan
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Formal methods )Computer science(
رده :
QA
75
.
5
.
T525
1995
166. Trends 98 :-FM--Applied formal methods
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ;
167. Web services and formal methods :
پدیدآورنده : Mario Bravetti, Tevfik Bultan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Web services, Congresses.
رده :
TK5105
.
88813
.
W74
2011
168. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
169. critical systems :-Formal techniques for safety
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ;
170. fun for everybody :-Formal methods
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ;
171. oriented formal language and method :-Structured object
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ;
172. the next 30 years :--Formal methods
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ;
